Grothendieck quantaloids for allegories of enriched categories
نویسندگان
چکیده
منابع مشابه
The Grothendieck Construction and Gradings for Enriched Categories
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a c...
متن کاملCategories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive hardware circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representations of relational terms. We formalise this use of pictures in circuit design. We show that pictures naturally form a unitary pretabular allegory. Homomorphisms of pictures correspond to adding new wires or ci...
متن کاملTopological categories, quantaloids and Isbell adjunctions
In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categori...
متن کاملAtomical Grothendieck Categories
Motivated by the study of Gabriel dimension of a Grothendieck category, we introduce the concept of atomical Grothendieck category, which has only two localizing subcategories, and we give a classification of this type of Grothendieck categories. 1. Introduction. Given a Grothendieck category Ꮽ, we can associate with it the lattice of all localizing categories of Ꮽ and denote it by Tors(Ꮽ). We ...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Belgian Mathematical Society - Simon Stevin
سال: 2012
ISSN: 1370-1444
DOI: 10.36045/bbms/1354031554